<!DOCTYPE html>




<html class="theme-next gemini" lang="zh-Hans">
<head><meta name="generator" content="Hexo 3.9.0">
  <meta charset="UTF-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1">
<meta name="theme-color" content="#222">









<meta http-equiv="Cache-Control" content="no-transform">
<meta http-equiv="Cache-Control" content="no-siteapp">
















  
  
    
  
  <link href="https://cdn.staticfile.org/fancybox/3.5.7/jquery.fancybox.min.css" rel="stylesheet" type="text/css">




  
  
  
  

  
    
    
  

  
    
      
    

    
  

  

  
    
      
    

    
  

  
    
      
    

    
  

  
    
    
    <link href="//fonts.googleapis.com/css?family=Monda:300,300italic,400,400italic,700,700italic|Roboto Slab:300,300italic,400,400italic,700,700italic|Lobster Two:300,300italic,400,400italic,700,700italic|Source Code Pro:300,300italic,400,400italic,700,700italic&subset=latin,latin-ext" rel="stylesheet" type="text/css">
  






  

<link href="https://cdn.staticfile.org/font-awesome/4.6.2/css/font-awesome.css" rel="stylesheet" type="text/css">

<link href="/css/main.css?v=6.0.0" rel="stylesheet" type="text/css">


  <link rel="apple-touch-icon" sizes="180x180" href="http://tva3.sinaimg.cn/crop.206.47.515.515.180/709d5819jw8f4k1tlmnsij20pr0gytdx.jpg?v=6.0.0">


  <link rel="icon" type="image/png" sizes="32x32" href="http://tva3.sinaimg.cn/crop.206.47.515.515.180/709d5819jw8f4k1tlmnsij20pr0gytdx.jpg?v=6.0.0">


  <link rel="icon" type="image/png" sizes="16x16" href="http://tva3.sinaimg.cn/crop.206.47.515.515.180/709d5819jw8f4k1tlmnsij20pr0gytdx.jpg?v=6.0.0">


  <link rel="mask-icon" href="http://tva3.sinaimg.cn/crop.206.47.515.515.180/709d5819jw8f4k1tlmnsij20pr0gytdx.jpg?v=6.0.0" color="#222">





  <meta name="keywords" content="vps, java, python, golang, springmvc">




  


  <link rel="alternate" href="/atom.xml" title="张恒的网络日志" type="application/atom+xml">






<meta name="keywords" content="java, python, go, 技术, 学习笔记, spring">
<meta property="og:type" content="website">
<meta property="og:title" content="张恒的网络日志">
<meta property="og:url" content="http://blog.gavinzh.com/404.html">
<meta property="og:site_name" content="张恒的网络日志">
<meta property="og:locale" content="zh-Hans">
<meta property="og:updated_time" content="2020-01-05T08:52:36.912Z">
<meta name="twitter:card" content="summary">
<meta name="twitter:title" content="张恒的网络日志">



<script type="text/javascript" id="hexo.configurations">
  var NexT = window.NexT || {};
  var CONFIG = {
    root: '/',
    scheme: 'Gemini',
    version: '6.0.0',
    sidebar: {"position":"left","display":"post","offset":12,"b2t":true,"scrollpercent":true,"onmobile":false},
    fancybox: true,
    fastclick: true,
    lazyload: true,
    tabs: true,
    motion: {"enable":false,"async":false,"transition":{"post_block":"fadeIn","post_header":"slideDownIn","post_body":"slideDownIn","coll_header":"slideLeftIn","sidebar":"slideUpIn"}},
    duoshuo: {
      userId: '0',
      author: '博主'
    },
    algolia: {
      applicationID: '',
      apiKey: '',
      indexName: '',
      hits: {"per_page":10},
      labels: {"input_placeholder":"Search for Posts","hits_empty":"We didn't find any results for the search: ${query}","hits_stats":"${hits} results found in ${time} ms"}
    }
  };
</script>



  <link rel="canonical" href="http://blog.gavinzh.com/404.html">





  <title>《数据库系统实现》学习笔记 | 张恒的网络日志</title>
  




<script>
  (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
            (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
          m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
  })(window,document,'script','https://www.google-analytics.com/analytics.js','ga');
  ga('create', 'UA-98061925-1', 'auto');
  ga('send', 'pageview');
</script>





</head>

<body itemscope itemtype="http://schema.org/WebPage" lang="zh-Hans">

  
  
    
  

  <div class="container sidebar-position-left page-post-detail">
    <div class="headband"></div>

    <header id="header" class="header" itemscope itemtype="http://schema.org/WPHeader">
      <div class="header-inner"> <div class="site-brand-wrapper">
  <div class="site-meta ">
    

    <div class="custom-logo-site-title">
      <a href="/" class="brand" rel="start">
        <span class="logo-line-before"><i></i></span>
        <span class="site-title">张恒的网络日志</span>
        <span class="logo-line-after"><i></i></span>
      </a>
    </div>
      
        <h1 class="site-subtitle" itemprop="description">Zhang Heng's WebSite Blog</h1>
      
  </div>

  <div class="site-nav-toggle">
    <button>
      <span class="btn-bar"></span>
      <span class="btn-bar"></span>
      <span class="btn-bar"></span>
    </button>
  </div>
</div>

<nav class="site-nav">
  

  
    <ul id="menu" class="menu">
      
        
        <li class="menu-item menu-item-home">
          <a href="/" rel="section">
            
              <i class="menu-item-icon fa fa-fw fa-home"></i> <br>
            
            首页
          </a>
        </li>
      
        
        <li class="menu-item menu-item-about">
          <a href="/about/" rel="section">
            
              <i class="menu-item-icon fa fa-fw fa-user"></i> <br>
            
            关于
          </a>
        </li>
      
        
        <li class="menu-item menu-item-tags">
          <a href="/tags/" rel="section">
            
              <i class="menu-item-icon fa fa-fw fa-tags"></i> <br>
            
            标签
          </a>
        </li>
      
        
        <li class="menu-item menu-item-categories">
          <a href="/categories/" rel="section">
            
              <i class="menu-item-icon fa fa-fw fa-th"></i> <br>
            
            分类
          </a>
        </li>
      
        
        <li class="menu-item menu-item-archives">
          <a href="/archives/" rel="section">
            
              <i class="menu-item-icon fa fa-fw fa-archive"></i> <br>
            
            归档
          </a>
        </li>
      

      
        <li class="menu-item menu-item-search">
          
            <a href="javascript:;" class="popup-trigger">
          
            
              <i class="menu-item-icon fa fa-search fa-fw"></i> <br>
            
            搜索
          </a>
        </li>
      
    </ul>
  

  
    <div class="site-search">
      
  <div class="popup search-popup local-search-popup">
  <div class="local-search-header clearfix">
    <span class="search-icon">
      <i class="fa fa-search"></i>
    </span>
    <span class="popup-btn-close">
      <i class="fa fa-times-circle"></i>
    </span>
    <div class="local-search-input-wrapper">
      <input autocomplete="off" placeholder="搜索..." spellcheck="false" type="text" id="local-search-input">
    </div>
  </div>
  <div id="local-search-result"></div>
</div>



    </div>
  
</nav>



 </div>
    </header>

    <main id="main" class="main">
      <div class="main-inner">
        <div class="content-wrap">
          <div id="content" class="content">
            

  <div id="posts" class="posts-expand">
    

  

  
  
  

  <article class="post post-type-normal" itemscope itemtype="http://schema.org/Article">
  
  
  
  <div class="post-block">
    <link itemprop="mainEntityOfPage" href="http://blog.gavinzh.com/2019/06/29/database-system-implementation-lean/">

    <span hidden itemprop="author" itemscope itemtype="http://schema.org/Person">
      <meta itemprop="name" content="Gavin Zhang">
      <meta itemprop="description" content>
      <meta itemprop="image" content="https://avatars3.githubusercontent.com/u/5567916">
    </span>

    <span hidden itemprop="publisher" itemscope itemtype="http://schema.org/Organization">
      <meta itemprop="name" content="张恒的网络日志">
    </span>

    
      <header class="post-header">

        
        
          <h2 class="post-title" itemprop="name headline">《数据库系统实现》学习笔记</h2>
        

        <div class="post-meta">
          <span class="post-time">
            
              <span class="post-meta-item-icon">
                <i class="fa fa-calendar-o"></i>
              </span>
              
                <span class="post-meta-item-text">发表于</span>
              
              <time title="创建于" itemprop="dateCreated datePublished" datetime="2019-06-29T12:28:00+00:00">2019-06-29</time>
            

            

            
          </span>

          
            <span class="post-category">
            
              <span class="post-meta-divider">|</span>
            
              <span class="post-meta-item-icon">
                <i class="fa fa-folder-o"></i>
              </span>
              
                <span class="post-meta-item-text">分类于</span>
              
              
                <span itemprop="about" itemscope itemtype="http://schema.org/Thing">
                  <a href="/categories/笔记/" itemprop="url" rel="index">
                    <span itemprop="name">笔记</span>
                  </a>
                </span>

                
                
              
            </span>
          

          
            
              <span class="post-comments-count">
                <span class="post-meta-divider">|</span>
                <span class="post-meta-item-icon">
                  <i class="fa fa-comment-o"></i>
                </span>
                <a href="/2019/06/29/database-system-implementation-lean/#comments" itemprop="discussionUrl">
                  <span class="post-comments-count disqus-comment-count" data-disqus-identifier="2019/06/29/database-system-implementation-lean/" itemprop="commentCount"></span>
                </a>
              </span>
            
          

          
          
             <span id="/2019/06/29/database-system-implementation-lean/" class="leancloud_visitors" data-flag-title="《数据库系统实现》学习笔记">
               <span class="post-meta-divider">|</span>
               <span class="post-meta-item-icon">
                 <i class="fa fa-eye"></i>
               </span>
               
                 <span class="post-meta-item-text">阅读次数&#58;</span>
               
                 <span class="leancloud-visitors-count"></span>
             </span>
          

          

          

          

        </div>
      </header>
    

    
    
    
    <div class="post-body" itemprop="articleBody">

      
      

      
        <!--
## 调研的意义

1. 彻底的防止重复造轮子
2. 借鉴成熟的思想，复用合适的代码

-->

<h2 id="0-关键字含义"><a href="#0-关键字含义" class="headerlink" title="0 关键字含义"></a>0 关键字含义</h2><p><strong>关系</strong>：实际上是一张二维表，表的每一行是一个元素，每一列是一项属性。<br><strong>元组</strong>：指的是一个关系上属性集的笛卡尔积的一个元素。大部分情况一下，我们可以理解为表的一行数据。</p>
<a id="more"></a>

<h2 id="0-关系代数基本概念"><a href="#0-关系代数基本概念" class="headerlink" title="0 关系代数基本概念"></a>0 关系代数基本概念</h2><p><strong>五种基本操作：</strong></p>
<p>并（Union）：设关系R和关系S具有相同的属性n，且相应的属性取自同一个域，则关系R和关系S的并由属于R或属于S的元组组成，其结果仍为n元的关系</p>
<p>差（Difference）：设关系R和关系S具有相同的属性n，且相应的属性取自同一个域，则关系R和关系S的差由属于关系R而不属于关系S的元组组成，其结果仍为n元的关系</p>
<p>笛卡尔积（Cartesian Product）：设关系R和关系S的属性分别为r和s。定义R和S的笛卡尔积是一个(r+s)元的元组集合，每个元组的前r个分量来自R的一个元组，后s个分量来自S的一个元组</p>
<p>投影（Projection）：对关系进行垂直分割，消去某些列，并重新安排列的顺序，再删去重复元组</p>
<p>选择（Selection）：根据某些条件对关系做水平分割，即选择符合条件的元组</p>
<p><strong>四种组合操作：</strong></p>
<p>交（Intersection）：设关系R和关系S具有相同的属性n，且相应的属性取自同一个域，则关系R和关系S的交由既属于关系R又属于关系S的元组组成，其结果仍为n元的关系。关系的交可以由关系的差来表示。</p>
<p>联接（Join）：连接操作是笛卡尔积和选择操作的组合。</p>
<p>自然联接（Natural Join）：是一种特殊的等值联接，它要求两个关系中进行比较的分量必须是相同的属性组，并且要在结果中把重复的属性去掉。</p>
<p>除（Division）：设两个关系R和S的属性分别为r和s(设r&gt;s&gt;0)，那么R除S是一个(r-s)元的元组的集合。它是满足下列条件的最大关系：其中每个元组t与S中的每个元组u组成的新元组&lt;t,u&gt;必在关系R中。除运算是笛卡尔积的逆运算。</p>
<h2 id="4-查询执行"><a href="#4-查询执行" class="headerlink" title="4 查询执行"></a>4 查询执行</h2><p>SQL是关系模型操作的高层次抽象，所以SQL可以转化为一系列关系代数操作。<strong>执行关系代数操作</strong>的基本方法有扫描、散列、排序、索引等，这些方法对内存容量所做的假设也有所不同，一些算法假设内存可以容纳参与关系代数操作的数据对象，另外一些算法假设操作对象太大，内存无法容纳。这些算法在代价和结构上有明显的差别。</p>
<h3 id="4-0-查询编译预览"><a href="#4-0-查询编译预览" class="headerlink" title="4.0 查询编译预览"></a>4.0 查询编译预览</h3><p>查询编译可以分为三大步骤：</p>
<p>a) <strong>分析</strong>，建立查询的分析树。<br>b) <strong>查询重写</strong>，分析树被转化为初始查询计划，这种查询计划通常是查询的代数表达式。然后初始查询计划被转化为一个预期所需执行时间较小的等价查询计划，也被成为逻辑查询计划。<br>c) <strong>物理计划生成</strong>，通常是通过给<strong>b中产出的逻辑查询计划</strong>的每一个操作符选择实现算法并选择这些操作符的执行顺序，逻辑计划被转化为物理查询计划。物理查询计划也是用表达式树来表示，同时还包含很多细节，如被查询的关系是怎样被访问的，以及一个关系何时或是否应该被排序。</p>
<p>b和c部分通常被称作查询优化器，它们是查询编译的难点。为了选择最好的查询计划，我们需要判断：</p>
<ol>
<li>查询的哪一个代数等价形式会为查询带来最有效的算法。</li>
<li>对选中形式的每一个操作，应当使用什么算法实现。</li>
<li>数据如何从一个操作传到另一个操作。</li>
</ol>
<p>这些选择都依赖关于数据库的元数据。</p>
<h3 id="4-1-物理查询计划操作符介绍"><a href="#4-1-物理查询计划操作符介绍" class="headerlink" title="4.1 物理查询计划操作符介绍"></a>4.1 物理查询计划操作符介绍</h3><p>物理查询计划由操作符构成，每一个操作符实现物理查询计划中的一步。物理操作符常常是一个关系代数操作的特定实现，除此之外，也有一些无关任务，例如扫描表，将关系代数要操作的某个关系的每个元组调入内存。</p>
<h4 id="4-1-1-扫描表"><a href="#4-1-1-扫描表" class="headerlink" title="4.1.1 扫描表"></a>4.1.1 扫描表</h4><p>读取一个关系R的整个内容，这个操作符的一个变体包含一个简单的谓词(仅读出关系R中满足这个谓词的元组)。</p>
<p>定位关系R中元组的基本方法</p>
<ol>
<li><strong>表-扫描</strong>，关系R大部分情况是存放在硬盘中，关系R中的元组排列存放在<strong>硬盘块</strong>中。系统知道包含关系R元组的块是哪些，并且可以一个接一个地读取这些块。</li>
<li><strong>索引-扫描</strong>，如果关系R的任意属性上有索引，那么我们可以通过索引来得到R的所有元组，即使元组存放的块不是连续的。</li>
</ol>
<h4 id="4-1-2-扫描表时的排序"><a href="#4-1-2-扫描表时的排序" class="headerlink" title="4.1.2 扫描表时的排序"></a>4.1.2 扫描表时的排序</h4><p>在读取一个关系的元组时，很多情况需要将关系排序。SQL中有 ORDER BY 语句会要求对关系排序，另外还有数据库关系代数操作的具体算法上也需要对关系进行排序(后面会讲到)。</p>
<p><strong>排序-扫描</strong>的具体实现有多种方法，例如想产生关系R上按属性a排序的关系，假设a上有B-数索引或者R是按a排序的索引属性存储的，那么用索引扫描即可。假设关系R很小，则可以用表扫描，然后在内存中排序。假设关系R很大，那么后边会讲到用多路归并方法排序。</p>
<h4 id="4-1-3-物理操作符计算模型"><a href="#4-1-3-物理操作符计算模型" class="headerlink" title="4.1.3 物理操作符计算模型"></a>4.1.3 物理操作符计算模型</h4><p>一个查询通常包括好几个关系代数操作，相应的物理查询计划由几个物理计划操作符组成。挑选最优的物理计划操作符需要预估每个操作符的<strong>代价</strong>。磁盘IO的数目是数据库衡量物理计划操作符代价的标准，这里有两个假设，第一操作符的对象位于硬盘、但结果在内存中，第二一个查询的中间操作结果也应该在内存中。</p>
<h4 id="4-1-4-衡量代价的参数"><a href="#4-1-4-衡量代价的参数" class="headerlink" title="4.1.4 衡量代价的参数"></a>4.1.4 衡量代价的参数</h4><p>我们设定，内存的一个缓冲区大小和硬盘块大小一致，我们用<strong>M表示缓冲区的数目</strong>。</p>
<p>当描述一个关系R的大小时，绝大部分情况下，我们想知道的是关系R的所有元组所需要的硬盘块的数目。我们用<strong>$B(R)$表示聚集的关系R所占用的硬盘块数</strong>，简记为$B$。</p>
<p>我们用<strong>$T(R)$表示关系R的元组总数</strong>，简记为$T$，一个硬盘块能容纳的元组数表示为$T/B$。</p>
<p>我们用<strong>$V(R,a)$表示关系R中a属性的不同值数目</strong>，以此可推，$V(R,a1,a2…an)=T(R)$。</p>
<h4 id="4-1-5-扫描操作符的IO代价"><a href="#4-1-5-扫描操作符的IO代价" class="headerlink" title="4.1.5 扫描操作符的IO代价"></a>4.1.5 扫描操作符的IO代价</h4><p>假设关系R是聚集的，那么表扫描操作符的代价近似为B，如果关系R能够全部装进内存，那排序扫描的代价也是B。</p>
<p>如果关系R不是聚集的，即元组分散在不同的硬盘块中，那么表扫描的代价就是T，如果关系R能够全部装进内存，那排序扫描的代价也是T。</p>
<h4 id="4-1-6-实现物理操作符的迭代器"><a href="#4-1-6-实现物理操作符的迭代器" class="headerlink" title="4.1.6 实现物理操作符的迭代器"></a>4.1.6 实现物理操作符的迭代器</h4><p>许多物理操作符可以实现为<strong>迭代器</strong>。迭代器有三个方法，这三个方法允许使用者一次获得一个元组。</p>
<ol>
<li>Open()，这个方法启动获取元组的过程，但并不获取元组，它用于初始化。</li>
<li>GetNext()，这个方法返回结果中的下一个元组，并对数据结构做必要的调整以得到后续元组。调用对象通常循环调用该方法获取元组直到返回空。</li>
<li>Close()，当使用者获取到所有元组，则需要调用该方法关闭数据连接。</li>
</ol>
<p>使用迭代器的好处：同一时刻活跃的操作有很多，元组按照需要在操作符之间传递，这样就减少了存储要求。</p>
<p>表扫描的迭代器实现，在open方法中获取第一个块的第一个元组，在next方法中判断加载下一个块和元组。</p>
<p>排序扫描的迭代器实现，在open方法中读取整个关系R，然后排序，在next方法中顺序读取。</p>
<p>并操作的迭代器实现，在open方法中先调用第一个关系的迭代器，在next方法中判断第一个关系是否结束，如果结束就打开第二个关系的迭代器。</p>
<h3 id="4-2-一趟算法"><a href="#4-2-一趟算法" class="headerlink" title="4.2 一趟算法"></a>4.2 一趟算法</h3><p>如何执行逻辑查询计划中的每个单独步骤(例如连接或选择)？逻辑查询计划转为物理查询计划的一个部分就是选择算法。大体上分为三类：</p>
<ol>
<li>基于排序的方法</li>
<li>基于散列的方法</li>
<li>基于索引的方法</li>
</ol>
<p>按照算法难度和代价分为三个等级：</p>
<ol>
<li><strong>一趟算法</strong>，仅从硬盘读取一次数据，大部分应用于操作对象能完全放入内存。</li>
<li><strong>两趟算法</strong>，数据量太大，不能一次全部读入内存，但又不是特别大(后面会讨论什么是特别大)。算法特点是首先从硬盘读取一遍数据，按照某种方式处理完后再写入硬盘，之后在第二趟中读取数据进一步处理。</li>
<li><strong>多趟算法</strong>，对处理的数据量大小没有限制，是对两趟算法的递归推广。</li>
</ol>
<p>操作符的分类：</p>
<ol>
<li><strong>一次单个元组，一元操作</strong>。这类操作（选择$\sigma$和投影$\pi$）不需要一次在内存中装入整个关系，这样可以一次读一个。</li>
<li><strong>整个关系，一元操作</strong>。这些单操作对象需要一次从内存中看到全部元组。一趟算法局限于最大M个缓冲区的关系读取，一般是分组操作符$\gamma$和去重操作符$\delta$。</li>
<li><strong>整个关系，二元操作</strong>。交$\cap$、并$\cup$、差$-$，连接和积的集合形式和包形式。要求这类操作的一个关系操作对象大小限制在M以内。</li>
</ol>
<h4 id="4-2-1-一次单个元组的一趟算法"><a href="#4-2-1-一次单个元组的一趟算法" class="headerlink" title="4.2.1 一次单个元组的一趟算法"></a>4.2.1 一次单个元组的一趟算法</h4><p>非常简单，如果关系R是聚集的，那么IO代价是B。如果是非聚集的，代价是T。</p>
<p>有一个例外，带有在索引上属性和常量比较的选择扫描，效率会显著提高，</p>
<p>在open方法中非阻塞</p>
<h4 id="4-2-2-整个关系的一元操作的一趟算法"><a href="#4-2-2-整个关系的一元操作的一趟算法" class="headerlink" title="4.2.2 整个关系的一元操作的一趟算法"></a>4.2.2 整个关系的一元操作的一趟算法</h4><p><strong>消除重复</strong></p>
<p>一次读取一个块，但对于每个元组要进行判断：</p>
<ol>
<li>是第一个出现的元组，复制到缓冲区并输出。</li>
<li>以前见过，不用输出。</li>
</ol>
<p>要求：$B(\delta(R)) &lt;= M$</p>
<p>在open方法中非阻塞</p>
<p><strong>分组</strong></p>
<p>在内存中为分组创建一个项，在项中存有分组的属性值和聚集的一个或者多个累计值。</p>
<ul>
<li>对于MIN或MAX，只需要存一个最小值或最大值。</li>
<li>对于COUNT，项内每见到一个元组加一。</li>
<li>对于SUM，如果项内见到的被sum值不为NULL，则累加被sum值。</li>
<li>AVG情况复杂，需要保持两个累计值，个数和和。</li>
</ul>
<p>这里需要注意，在open方法中，所有元组扫描完成后才能结束。</p>
<p>在open方法中阻塞</p>
<h4 id="4-2-3-二元操作的一趟算法"><a href="#4-2-3-二元操作的一趟算法" class="headerlink" title="4.2.3 二元操作的一趟算法"></a>4.2.3 二元操作的一趟算法</h4><p>交、并、差、积和连接操作。为了操作集合操作和包操作，这里用B和S分别表示包和集合。为了简化连接的讨论，仅考虑自然连接，$\theta$连接可以被认为是积或自然连接后额外增加的条件。</p>
<p><strong>包并</strong></p>
<p>包的并可以通过一种非常简单的一趟算法计算出来。$R\cup_BS$，先复制关系R的元组到内存，再复制关系S的每一个元组到内存。IO代价为$B(R)+B(S)$，$M=1$就够用。</p>
<p>在open方法中非阻塞</p>
<p>其他操作则需要将R和S中较小数量的关系读到内存并建立合适的数据结构。其内存要求是$min(B(R),B(S)) &lt;= M$，以下我们假设S关系数据量最小。</p>
<p><strong>集合并</strong></p>
<p>将S读入内存，生成查找结构，Key为整个元组。然后一个一个地读取R的元组t，假如元组t在S中，就跳过，否则就输出。最后输出S的元组。</p>
<p>在open方法中非阻塞</p>
<p><strong>集合交</strong></p>
<p>将S读入内存，生成查找结构，Key为整个元组。然后一个一个地读取R的元组t，假如元组t在S中，就输出，否则就跳过。</p>
<p>在open方法中非阻塞</p>
<p><strong>集合差</strong></p>
<p>$R-_SS$：将S读入内存，生成查找结构，Key为整个元组。然后一个一个地读取R的元组t，假如元组t在S中，就跳过，否则输出。</p>
<p>$S-_SR$：将S读入内存，生成查找结构，Key为整个元组。然后一个一个地读取R的元组t，假如元组t在S中，那么删除内存中的元组t。处理完R的所有元组后，输出内存中剩余的元组。</p>
<p>在open方法中阻塞</p>
<p><strong>包交</strong></p>
<p>存储S的元组和元组出现的次数计数，注意，相同元组只存一份，计数加一。然后一个一个地读取R的元组t，假如元组t在S中，且计数不为0，则输出t并将计数减一。</p>
<p>在open方法中非阻塞</p>
<p><strong>包差</strong></p>
<p>$S-_BR$：存储S的元组和元组出现的次数计数，注意，相同元组只存一份，计数加一。然后一个一个地读取R的元组t，假如元组t在S中，且计数不为0，则将计数减一。最后输出内存中剩余元组，输出次数为计数值。</p>
<p>$R-_BS$：存储S的元组和元组出现的次数计数，注意，相同元组只存一份，计数加一。然后一个一个地读取R的元组t，假如元组t在S中，且计数不为0，则将计数减一，如果元组t不在S中或在S中且计数为0，则输出。</p>
<p>在open方法中阻塞</p>
<p><strong>积</strong></p>
<p>将S读入内存，不需要特殊结构。然后一个一个地读取R的元组t，与S的每一个元组连接并输出。</p>
<p>在open方法中非阻塞</p>
<p><strong>自然连接</strong></p>
<p>$R(X,Y)$和$S(Y,Z)$自然连接，$Y$表示$R$和$S$的所有公共属性。</p>
<ol>
<li>读取S的所有元组，并生成以Y为查找关键字的内存结构。</li>
<li>然后一个一个地读取R的元组t，判断t是否可以与S的元组连接，如果可以就连接输出。</li>
</ol>
<p>在open方法中非阻塞</p>
<h3 id="4-3-嵌套循环连接"><a href="#4-3-嵌套循环连接" class="headerlink" title="4.3 嵌套循环连接"></a>4.3 嵌套循环连接</h3><p>在讨论更复杂的方法之前，先来看看嵌套循环连接操作算法。这些算法某种意义上来说需要一趟半。因为两个操作对象中的一个对象元组只用读取一次，而另一个操作对象的元组需要重复读取。</p>
<p>嵌套循环连接可以用于任何大小的关系。</p>
<p>在一趟算法的积和自然连接中，要求一个关系可以完全读入内存。而实际上，我们每个关系只读入一个元组，或者一块。</p>
<p>如果按块读取，那么块少的关系应该在循环外侧。例如$B(R)=1000$，$B(S)=500$，$M=100$，先循环关系R、再循环关系S所需读取块数为：10次外循环乘100+10次外循环乘5次内循环乘100=6000，先循环关系S、再循环关系R所需读取块数为：5次外循环乘100+5次外循环乘10次内循环乘100=5500。</p>
<h3 id="4-4-基于排序的两趟算法"><a href="#4-4-基于排序的两趟算法" class="headerlink" title="4.4 基于排序的两趟算法"></a>4.4 基于排序的两趟算法</h3><h4 id="4-4-1-两阶段多路归并排序"><a href="#4-4-1-两阶段多路归并排序" class="headerlink" title="4.4.1 两阶段多路归并排序"></a>4.4.1 两阶段多路归并排序</h4><p>假设我们有M个内存缓冲区进行排序，可以通过两趟的算法对非常大的关系进行排序，这种算法叫做<strong>两阶段多路归并排序(Two-Phase, Multiway Merge-Sort, TPMMS)</strong>。</p>
<ul>
<li>阶段1：不断地将关系R中的元组放入M个缓冲区，利用内存排序算法对他们排序，并且将<strong>排序后的子表</strong>存入硬盘。</li>
<li>阶段2：将排序好的子表进行归并。在这个阶段中，最多能对M-1个有序子表进行归并，这就限制了R的大小。</li>
</ul>
<p>归并流程如下：</p>
<ol>
<li>加载每个子表的第一块做缓冲块。</li>
<li>找到所有块中最小的元素移到输出缓冲区(只有一块)。</li>
<li>如果输出块已满，则将它写入硬盘新位置，并归零输出块。</li>
<li>如果被取出的最小元素所在块元素已耗尽，则取对应子表的下一块，如果子表中没有块，则保持该缓冲区为空。</li>
<li>调至第二步，直到所有缓冲区为空。</li>
</ol>
<p>根据阶段1和阶段2可知，最多有M-1个子表，每个子表最多有M个块，所以关系R最多有$(M-1)*M$个块，近似表示为$M^2$。在整个过程中，需要读关系2两次，写关系1次。共计IO次数为3B。</p>
<p>例子：假设块大小为16KB，内存为1GB，那么M=1GB/16KB=16K，B最大为$16K*16K=2^{28}$，总大小为4TB。</p>
<h4 id="4-4-2-利用排序去重"><a href="#4-4-2-利用排序去重" class="headerlink" title="4.4.2 利用排序去重"></a>4.4.2 利用排序去重</h4><p>在阶段2的归并流程2中，找到所有块中的最小元素并移到输出缓冲区，在这个操作上，先检查输出缓冲区是否有相同元组，如果有就忽略。</p>
<h4 id="4-4-3-利用排序进行分组和聚集"><a href="#4-4-3-利用排序进行分组和聚集" class="headerlink" title="4.4.3 利用排序进行分组和聚集"></a>4.4.3 利用排序进行分组和聚集</h4><p>在阶段1中，取分组属性作为排序关键字。在阶段2的归并流程2中，先判断是否有分组属性值相同的元组，有就做聚集操作，没有就直接输出。</p>
<h4 id="4-4-4-基于排序的并算法"><a href="#4-4-4-基于排序的并算法" class="headerlink" title="4.4.4 基于排序的并算法"></a>4.4.4 基于排序的并算法</h4><p>包并(4.2.3)算法与操作对象无关，但集合并算法与操作对象大小有关系。</p>
<p>在阶段1中，对关系R和S分别创建排序子表。在阶段2归并流程1中，为关系R和S的每个子表都使用缓冲区。在流程2中，在把元组t输入输出缓冲区后，删除输入缓冲区中和元组t相同的元组。</p>
<h4 id="4-4-5-基于排序的交和差算法"><a href="#4-4-5-基于排序的交和差算法" class="headerlink" title="4.4.5 基于排序的交和差算法"></a>4.4.5 基于排序的交和差算法</h4><p>算法和4.4.4节类似</p>
<ul>
<li>对于集合交：如果元组t在R和S中都出现，就输出t。</li>
<li>对于包交：输出的t的次数是在R和S中出现的最小次数。</li>
<li>对于集合差：关系R集合减S，当且仅当t出现在R中，但不在S中，就输出t。</li>
<li>对于包差：关系R包减S，输出t的次数是t在R中出现的次数减去在S中出现的次数。</li>
</ul>
<h4 id="4-4-6-基于排序的一个简单连接算法"><a href="#4-4-6-基于排序的一个简单连接算法" class="headerlink" title="4.4.6 基于排序的一个简单连接算法"></a>4.4.6 基于排序的一个简单连接算法</h4><p>R(X,Y)和S(Y,Z)自然连接，Y表示R和S的所有公共属性。</p>
<ol>
<li><p>用Y作为排序关键字，使用TPMMS对R进行排序。</p>
</li>
<li><p>对S也做排序。</p>
</li>
<li><p>对归并好的R和S，使用两个缓冲区。一个给R的当前块，一个给S的当前块。重复以下步骤：</p>
</li>
<li><p>在当前R和S的块找到Y的最小值y。</p>
</li>
<li><p>如果y在另一个关系中没有出现，那么就删除有关键字y的元组。</p>
</li>
<li><p>否则，找到两个关系中具有相关关键字y的所有元组。</p>
</li>
<li><p>输出通过连接R和S中具有共同y值的元组连接。</p>
</li>
<li><p>如果一个关系在内存中已没有要考虑的元组，就加载下一个元组。</p>
</li>
</ol>
<ul>
<li>磁盘IO代价：$5(B(R)+B(S))$</li>
<li>$B(R) &lt;= M \cup B(S) &lt;= M$ </li>
<li>所有用于连接的一个值的对应所有元组必须能装入缓冲区</li>
</ul>
<h4 id="4-4-8-一种更有效的基于排序的连接"><a href="#4-4-8-一种更有效的基于排序的连接" class="headerlink" title="4.4.8 一种更有效的基于排序的连接"></a>4.4.8 一种更有效的基于排序的连接</h4><p>如果拥有公共值的元组太多，4.4.6算法就不可行。那么可以在排序的第二阶段和连接做合并。</p>
<ol>
<li>用Y做关键字，对R和S生成排序子表</li>
<li>将每个子表的第一块调入缓冲区。</li>
<li>重复地在所有子表的最新元组中第一个查找最小值y。识别两个关系中具有y值的所有元组。输出这些元组的连接。如果有一个子表的缓冲区处理完毕，则重新将磁盘上的块装入其中。</li>
</ol>
<h3 id="4-5-基于散列的两趟算法"><a href="#4-5-基于散列的两趟算法" class="headerlink" title="4.5 基于散列的两趟算法"></a>4.5 基于散列的两趟算法</h3><p>思想如下，如果数据量太大不能存储内存，就使用一个合适的散列关键字散列一个或多个操作对象的所有元组。使用该算法，能使我们把所有需要一起考虑的元组分配到相同的桶。</p>
<p>消除重复、分组和聚集、交并差、连接</p>
<h3 id="4-6-基于索引的算法"><a href="#4-6-基于索引的算法" class="headerlink" title="4.6 基于索引的算法"></a>4.6 基于索引的算法</h3><p>非聚簇的关系不可能有一个聚簇的索引，但聚簇的关系可以有非聚簇的索引。</p>
<p>基于索引的选择。在没有索引的情况下磁盘IO为B或T。如果选择的属性在索引上，那么磁盘IO为$B(R)/V(R,a)$。</p>
<p>使用索引的连接。磁盘IO最差情况为为$T(R)T(S)/V(S,Y)$、最好情况为$T(R)B(S)/V(S,Y)$</p>
<h3 id="4-7-缓冲区管理"><a href="#4-7-缓冲区管理" class="headerlink" title="4.7 缓冲区管理"></a>4.7 缓冲区管理</h3><p>缓冲区管理策略</p>
<p><strong>最近最少使用(LRU)</strong></p>
<p>清空最长时间没有读写的块，这种方法要求保持一张缓冲区块的被访问最后一次时间的表。</p>
<p><strong>先进先出(FIFO)</strong></p>
<p>占用时间最长的块先被清空。B-数的根更容易被写回硬盘。</p>
<p><strong>时钟算法(第二次机会)</strong></p>
<p>该算法是LRU的最普遍的一个近似实现。实现方法是将缓冲区块看成一个环，每个块有一个标记(0或1，初始值为0)，指针指向其中一个块。如果想读写某一个块，就把这个块的标志置为1。如果想找到一个可用的块，就顺时针旋转，找到第一个0，然后将其设置成1，在找的过程中扫过的块如果标志位1就将其标志设置成0。</p>
<h3 id="4-8-使用超过两趟的算法"><a href="#4-8-使用超过两趟的算法" class="headerlink" title="4.8 使用超过两趟的算法"></a>4.8 使用超过两趟的算法</h3><p>略</p>
<h2 id="5-查询编译器"><a href="#5-查询编译器" class="headerlink" title="5 查询编译器"></a>5 查询编译器</h2><h3 id="5-1-语法分析和预处理"><a href="#5-1-语法分析和预处理" class="headerlink" title="5.1 语法分析和预处理"></a>5.1 语法分析和预处理</h3><h4 id="5-1-1-语法分析和语法分析树"><a href="#5-1-1-语法分析和语法分析树" class="headerlink" title="5.1.1 语法分析和语法分析树"></a>5.1.1 语法分析和语法分析树</h4><p>语法分析器接收类似SQL的文本，并转换为语法分析树。树的节点由以下两者构成：</p>
<ol>
<li>原子：词法成分，例如关键字(select)，关系或属性的名称，常数，括号，运算符，以及其他模式</li>
<li>语法类：在一个查询中的成分构成。例如<code>&lt;Query&gt;</code>表示select-from-where形式的查询，<code>&lt;Condition&gt;</code>表示属于条件的表达式。</li>
</ol>
<p>如果一个节点是原子，那么该节点没有子节点。如果一个节点是语法类，则其子节点通过该语言的语法规则进行描述。</p>
<h4 id="5-1-2-SQL的简单子集语法"><a href="#5-1-2-SQL的简单子集语法" class="headerlink" title="5.1.2 SQL的简单子集语法"></a>5.1.2 SQL的简单子集语法</h4><figure class="highlight plain"><table><tr><td class="gutter"><pre><span class="line">1</span><br><span class="line">2</span><br><span class="line">3</span><br><span class="line">4</span><br><span class="line">5</span><br><span class="line">6</span><br><span class="line">7</span><br><span class="line">8</span><br><span class="line">9</span><br><span class="line">10</span><br><span class="line">11</span><br><span class="line">12</span><br><span class="line">13</span><br><span class="line">14</span><br><span class="line">15</span><br><span class="line">16</span><br><span class="line">17</span><br><span class="line">18</span><br><span class="line">19</span><br><span class="line">20</span><br><span class="line">21</span><br><span class="line">22</span><br><span class="line">23</span><br><span class="line">24</span><br></pre></td><td class="code"><pre><span class="line">&lt;Query&gt; ::= SELECT &lt;SelList&gt; FROM &lt;FromList&gt; WHERE &lt;Condition&gt;</span><br><span class="line"></span><br><span class="line">&lt;SelList&gt; ::= &lt;Attrbute&gt; , &lt;SelList&gt; </span><br><span class="line"></span><br><span class="line">&lt;SelList&gt; ::= &lt;Attrbute&gt;</span><br><span class="line"></span><br><span class="line">&lt;FromList&gt; ::== &lt;Relation&gt; , &lt;FromList&gt;</span><br><span class="line"></span><br><span class="line">&lt;FromList&gt; ::== &lt;Relation&gt;</span><br><span class="line"></span><br><span class="line">&lt;Condition&gt; ::== &lt;Condition&gt; AND &lt;Condition&gt;</span><br><span class="line"></span><br><span class="line">&lt;Condition&gt; ::== &lt;Attrbute&gt; IN ( &lt;Query&gt; )</span><br><span class="line"></span><br><span class="line">&lt;Condition&gt; ::== &lt;Attrbute&gt; = &lt;Attrbute&gt;</span><br><span class="line"></span><br><span class="line">&lt;Condition&gt; ::== &lt;Attrbute&gt; like &lt;Pattern&gt;</span><br><span class="line"></span><br><span class="line"></span><br><span class="line">&lt;Attrbute&gt; 为任意表示当前数据库模式的属性的字符串</span><br><span class="line"></span><br><span class="line">&lt;Relation&gt; 为当前模式中作为关系而言的字符串</span><br><span class="line"></span><br><span class="line">&lt;Pattern&gt; 为任何用引号括起来的字符串</span><br></pre></td></tr></table></figure>

<h4 id="5-1-3-预处理器"><a href="#5-1-3-预处理器" class="headerlink" title="5.1.3 预处理器"></a>5.1.3 预处理器</h4><p>虚视图替换，语义检查。</p>
<ol>
<li>检查关系的使用（模式）。</li>
<li>检查和解析属性的使用（关系与属性）。</li>
<li>检查类型（筛选条件类型）。</li>
</ol>
<h3 id="5-2-用于改进查询计划的代数定律"><a href="#5-2-用于改进查询计划的代数定律" class="headerlink" title="5.2 用于改进查询计划的代数定律"></a>5.2 用于改进查询计划的代数定律</h3><h4 id="5-2-1-交换律和结合律"><a href="#5-2-1-交换律和结合律" class="headerlink" title="5.2.1 交换律和结合律"></a>5.2.1 交换律和结合律</h4><p>积，连接，并，交都满足交换律和结合律。</p>
<p>交换律</p>
<ul>
<li>$ R \times S = S \times R $</li>
<li>$ R \Join S = S \Join R $</li>
<li>$ R \cup S = S \cup R $</li>
<li>$ R \cap S = S \cap R $</li>
</ul>
<ul>
<li>$ (R \times S) \times T = R \times ( S \times T ) $</li>
<li>$ (R \Join S) \Join T = R \Join (S \Join T) $</li>
<li>$ (R \cup S) \cup T = R \cup (S \cup T) $</li>
<li>$ (R \cap S) \cap T = R \cap (S \cap T) $</li>
</ul>
<h4 id="5-2-2-涉及选择的定律"><a href="#5-2-2-涉及选择的定律" class="headerlink" title="5.2.2 涉及选择的定律"></a>5.2.2 涉及选择的定律</h4><p>由于选择可以明显减少关系的大小，因此进行有效查询处理的最重要规则之一就是只要不改变表达式的结果，就把选择在语法树上尽可能的下移。</p>
<ul>
<li>$ \sigma C_1 \quad AND \quad C_2 (R) = \sigma C_1(\sigma C_2(R)) $</li>
<li>$ \sigma C_1(\sigma C_2(R)) = \sigma C_2(\sigma C_1(R)) $</li>
<li>$ \sigma C_1 \quad OR \quad C_2 (R) = \sigma C_1(R) \cup \sigma C_2(R) $</li>
</ul>
<p>涉及$\sigma$的另一类定律允许我们对二元运算符进行下推选择：积、并、交、差、连接。有三中类型定律，这取决于下推选择到每个参数是可选的还是必须的。</p>
<ol>
<li>对于并，选择必须下推到两个参数中。</li>
<li>对于差，选择必须下推到第一个参数，下推到第二个参数是可选的。</li>
<li>对于其他运算符，只要求选择下推到第一个参数。对于连接和积，将选择下推到两个参数是没有意义的，因为参数可能有也可能没有所要求的属性。即使可以下推到两者，该做法也不一定能改进计划。</li>
</ol>
<p>因此对于并的定律是：</p>
<ul>
<li>$ \sigma C(R \cup S) = \sigma C(R) \cup \sigma C(S) $</li>
</ul>
<p>对于差的定律：</p>
<ul>
<li>$ \sigma C(R-S) = \sigma C(R) - S $</li>
<li>$ \sigma C(R-S) = \sigma C(R) - \sigma C(S) $</li>
</ul>
<p>下面这些定律允许将选择下推到一个或者两个参数，对于选择$\sigma _C$，我们只能将其下推到包含C所涉及的全部属性的关系中。假设关系R中有C提及的所有属性，有以下定律：</p>
<ul>
<li>$ \sigma C(R \times S) = \sigma C(R) \times S $ </li>
<li>$ \sigma C(R \Join S) = \sigma C(R) \Join S $ </li>
<li>$ \sigma C(R \Join _D S) = \sigma C(R) \Join _D S $ </li>
<li>$ \sigma C(R \cap S) = \sigma C(R) \cap S $ </li>
</ul>
<p>如果C只涉及S的属性，则有：</p>
<ul>
<li>$ \sigma C (R \times S) = R \times \sigma C (S) $</li>
</ul>
<p>对于其他3个运算符$\Join $、$ \Join_D $和 $ \cap $ 类似。如果关系R和S都包含C的属性，那么有诸如以下的定律：</p>
<ul>
<li>$ \sigma C(R \Join S) = \sigma C(R) \Join \sigma C(S) $ </li>
</ul>
<blockquote>
<p>一些平凡的定律</p>
</blockquote>
<ol>
<li>任何对空关系的选择为空。</li>
<li>如果C总是为真的条件，则$ \sigma C(R) = R $。</li>
<li>如果R为空，$R \cup S = S$。</li>
</ol>
<h4 id="5-2-3-下推选择"><a href="#5-2-3-下推选择" class="headerlink" title="5.2.3 下推选择"></a>5.2.3 下推选择</h4><p>5.2.2节的规则是查询优化器的有力工具，在包含虚视图时，需要先将选择尽可能往树的上部移，然后再把选择下推到所有可能分支。</p>
<h4 id="5-2-4-涉及投影的定律"><a href="#5-2-4-涉及投影的定律" class="headerlink" title="5.2.4 涉及投影的定律"></a>5.2.4 涉及投影的定律</h4><p>下推投影是有用的，但是一般而言不如下推选择那么有用，因为投影不改变元组数，只改变元组长度。</p>
<p>投影定律原理：</p>
<ul>
<li>可以在表达式树的任意位置引入投影，只要他所消除的属性是其上的运算符从来不会用到的，也不在整个表达式的结果之中。</li>
</ul>
<h4 id="5-2-5-有关连接和积的定律"><a href="#5-2-5-有关连接和积的定律" class="headerlink" title="5.2.5 有关连接和积的定律"></a>5.2.5 有关连接和积的定律</h4><ul>
<li>$ R \Join _C S = \sigma C(R \times S ) $</li>
<li>$ R \Join S = \pi _L (\sigma C(R \times S)) $ </li>
</ul>
<h4 id="5-2-6-有关消除重复的定律"><a href="#5-2-6-有关消除重复的定律" class="headerlink" title="5.2.6 有关消除重复的定律"></a>5.2.6 有关消除重复的定律</h4><ul>
<li>$ \delta(R \times S) = \delta(R) \times \delta(S) $</li>
<li>$ \delta(R \Join S) = \delta(R) \Join \delta(S) $</li>
<li>$ \delta(R \Join _C S) = \delta(R) \Join _C \delta(S) $</li>
<li>$ \delta(\sigma C(R)) = \sigma C (\delta (R)) $</li>
<li>$ \delta(R \cap_BS) = \delta(R)\cap_BS = R\cap_B\delta(S) =\delta(R)\cap_B\delta(S)    $</li>
</ul>
<h4 id="5-2-7-涉及分组和聚集的定律"><a href="#5-2-7-涉及分组和聚集的定律" class="headerlink" title="5.2.7 涉及分组和聚集的定律"></a>5.2.7 涉及分组和聚集的定律</h4><ul>
<li>$ \delta(\gamma L(R)) = \gamma L(R) $</li>
<li>$ \gamma L(R) = \gamma (\pi_M(R)) $ ,其中，M包含L中提到的所有属性。</li>
<li>$ \gamma L(R) = \gamma L(\delta(R)) $，当且仅当$\gamma L$不受重复行影响（例如Min、Max等）</li>
</ul>
<h3 id="5-3-从语法分析树到逻辑查询计划"><a href="#5-3-从语法分析树到逻辑查询计划" class="headerlink" title="5.3 从语法分析树到逻辑查询计划"></a>5.3 从语法分析树到逻辑查询计划</h3><p>在5.1节，我们构造好了语法分析树，接下来需要把语法树转化为逻辑查询计划。</p>
<p>第一步，按适当的群组用一个或者多个关系代数运算符替代语法树上的节点和结构。第二步，利用第一步中产生的关系代数表达式，将其转换成我们所期待的可被转成最有效的物理查询计划的一个表达式。</p>
<h4 id="5-3-1-转换成关系代数"><a href="#5-3-1-转换成关系代数" class="headerlink" title="5.3.1 转换成关系代数"></a>5.3.1 转换成关系代数</h4><p><code>select-from-where</code>结构的关系代数的非正式陈述为：</p>
<p>如果我们有一个包含<code>&lt;Condition&gt;</code>的没有子查询的<code>&lt;Query&gt;</code>，则可以用一个关系代数表达式替换整个成分——选择列表、from列表以及条件，其中代数表达式自底向上由下面这些内容组成：</p>
<ul>
<li><code>&lt;FromList&gt;</code>中提及的全部关系的积是以下运算符的参数。</li>
<li>选择$\sigma_C$，其中C就是要被替换成分中<code>&lt;Condition&gt;</code>表达式，同时又是下面运算符的参数。</li>
<li>投影$\pi_L$，其中L是<code>&lt;SelList&gt;</code>中的属性列表。</li>
</ul>
<h4 id="5-3-2-从条件中去除子查询"><a href="#5-3-2-从条件中去除子查询" class="headerlink" title="5.3.2 从条件中去除子查询"></a>5.3.2 从条件中去除子查询</h4><p>对于<code>&lt;Condition&gt;</code>中包含子查询的语法树，我们将引入运算符的中间形式，他介于语法分析树的语法类与作用到关系上的关系代数运算符之间。该运算符通常被成为<strong>两参数选择</strong>。我们将不带参数的标签为$\sigma$的节点表示经转换后的语法树中的两参数选择。该节点之下有一个左子节点，它表示要对其做选择运算的关系R，以及一个右子节点，它表示作用到关系R的每个原则上的条件表达式。两个参数均可表示为语法树、表达式树或两者的混合。</p>
<blockquote>
<p>选择条件的限制<br>为什么要去除子查询？选择$\sigma$的条件实际上是针对每一个元组的筛选，即每拿出一个元组，都要执行一遍选择条件，判断满不满足。如果有子查询，则每拿出一个元组，就要执行一遍子查询，明显不现实。即使子查询与元组无关，那也对代价计算的影响很大。</p>
</blockquote>
<p>规则的非正式描述，假设我们有一个两参数选择，其中第一个参数代表的关系R，第二个参数形如<code>t in S</code>的<code>&lt;Condition&gt;</code>，其中S是一个非相关子查询，t是R的元组。我们按照以下方式变换：</p>
<ol>
<li>用S的表达式树替换<code>&lt;Condition&gt;</code>，如果S有重复，则在S的表达式的根部增加$\delta$运算。</li>
<li>用单参数选择$\sigma_C$替换两参数选择，其中C是元组t和关系S中相应属性取等值条件。</li>
<li>给选择$\sigma_C$一个参数，他是R和S的积。</li>
</ol>
<h4 id="5-3-3-逻辑查询计划的改进"><a href="#5-3-3-逻辑查询计划的改进" class="headerlink" title="5.3.3 逻辑查询计划的改进"></a>5.3.3 逻辑查询计划的改进</h4><p>当我们把我们的查询语句转换为关系代数时，我们获得了一个可能的逻辑查询计划。下一步是在5.2节列出的代数定律上重写计划。</p>
<p>一下是优化器最常用到的：</p>
<ul>
<li>选择尽可能深地推入表达式树。如果一个选择条件是多个条件的AND，我们可以把该条件分解并分别将每个条件下推。</li>
<li>投影下推。</li>
<li>消除重复有时可以消去，或者移到树中更方便的未知。</li>
<li>某些选择可以与下面的积相结合从而转为等值连接。</li>
</ul>
<h3 id="5-4-运算代价的估计"><a href="#5-4-运算代价的估计" class="headerlink" title="5.4 运算代价的估计"></a>5.4 运算代价的估计</h3><p>逻辑查询计划会对应多个物理查询计划，如何评价每个物理查询计划、或者估计实现的代价。通过以下选择进行代价枚举：</p>
<ol>
<li>满足结合律和分配律的运算。</li>
<li>在逻辑计划中每个运算符的算法。</li>
<li>其他运算符。</li>
<li>参数从一个运算符传送到下一个运算符的方式。</li>
</ol>
<p>为了做出每项选择，我们需要知道各个物理计划的代价是多少，在没有执行计划的前提下，我们不能准确地知道其代价。执行一个查询计划要比选一个计划所做的工作多，我们也不想同时执行多个查询计划。因此，我们必须能够预估某个计划的代价。</p>
<h4 id="5-4-3-选择运算大小的估计"><a href="#5-4-3-选择运算大小的估计" class="headerlink" title="5.4.3 选择运算大小的估计"></a>5.4.3 选择运算大小的估计</h4><p>令$ S=\sigma_{A=c}(R) $，有以下估计：</p>
<p>$$ T(S) = T(R)/V(R,A) $$</p>
<p>如果$ S=\sigma_{a&gt;=10}(R) $，有以下估计：</p>
<p>$$ T(S) = T(R)/3 $$</p>
<p>$ S=\sigma_{a!=10}(R) $我们认为取的是全量数据$T(S)$。</p>
<p>AND条件，建议是不同选择概率的乘积。</p>
<p>OR条件，大小难以估计，例如$ S=\sigma_{C_1 \quad or \quad C_2}(R) $。当C1和C2相互独立，n为元组总数，m1表示满足C1的元组数，m2表示满足C2的元组数，有：</p>
<p>$$ T(S) = n(1-(1-m_1/n)(1-m_2/n)) $$</p>
<h4 id="5-4-4-连接运算大小的估计"><a href="#5-4-4-连接运算大小的估计" class="headerlink" title="5.4.4 连接运算大小的估计"></a>5.4.4 连接运算大小的估计</h4><p>三种情况：</p>
<ol>
<li>没有相交的Y值，$T(R\Join S)=0$</li>
<li>Y是S的主键，且是R的的外键，$T(R\Join S)=T(R)$</li>
<li>S和R的所有元组都有相同的Y值，$T(R\Join S)=T(R)T(S)$</li>
</ol>
<p>通常情况的估计：</p>
<p>$$ T(R\Join S)=T(R)T(S)/max(V(R,Y),V(S,Y)) $$</p>
<h4 id="5-4-7-其他运算大小的估计"><a href="#5-4-7-其他运算大小的估计" class="headerlink" title="5.4.7 其他运算大小的估计"></a>5.4.7 其他运算大小的估计</h4><p><strong>并</strong></p>
<p>较大者加较小者的一半</p>
<p><strong>交</strong></p>
<p>较小者的一半</p>
<p><strong>差</strong></p>
<p>$ T(R) - T(S)/2 $</p>
<p><strong>消除重复</strong></p>
<p>$min(T(R)/2,\times V(R,a_i))$</p>
<p><strong>分组和聚集</strong></p>
<p>$T(R)/2$</p>
<h3 id="5-7-物理查询计划选择的完成"><a href="#5-7-物理查询计划选择的完成" class="headerlink" title="5.7 物理查询计划选择的完成"></a>5.7 物理查询计划选择的完成</h3><p>经过分析查询，转化为初始的逻辑查询计划和优化。基于代价估计选择物理查询计划。将逻辑计划转化为完整地物理计划还需要以下这些内容：</p>
<ol>
<li>执行计划的算法的选择。</li>
<li>中间结果何时被物化（存储在硬盘中）。</li>
<li>物理查询计划的运算符注释（包含存储关系的访问方法细节和相关代数运算的执行算法的细节）。</li>
</ol>

      
    </div>
    
    
    

    

    

    
      <div>
        <ul class="post-copyright">
  <li class="post-copyright-author">
    <strong>本文作者：</strong>
    Gavin Zhang
  </li>
  <li class="post-copyright-link">
    <strong>本文链接：</strong>
    <a href="http://blog.gavinzh.com/2019/06/29/database-system-implementation-lean/" title="《数据库系统实现》学习笔记">http://blog.gavinzh.com/2019/06/29/database-system-implementation-lean/</a>
  </li>
  <li class="post-copyright-license">
    <strong>版权声明： </strong>
    本博客所有文章除特别声明外，均采用 <a href="https://creativecommons.org/licenses/by-nc-sa/3.0/" rel="external nofollow" target="_blank">CC BY-NC-SA 3.0</a> 许可协议。转载请注明出处！
  </li>
</ul>

      </div>
    

    <footer class="post-footer">
      
        <div class="post-tags">
          
            <a href="/tags/database/" rel="tag"># database</a>
          
        </div>
      

      
      
      

      
        <div class="post-nav">
          <div class="post-nav-next post-nav-item">
            
              <a href="/2019/06/29/calcite-learn/" rel="next" title="calcite简单入门">
                <i class="fa fa-chevron-left"></i> calcite简单入门
              </a>
            
          </div>

          <span class="post-nav-divider"></span>

          <div class="post-nav-prev post-nav-item">
            
              <a href="/2020/01/05/some-thoutgths-when-upgrade-spring/" rel="prev" title="SpringBoot 1.X到2.X 升级的一些思考总结">
                SpringBoot 1.X到2.X 升级的一些思考总结 <i class="fa fa-chevron-right"></i>
              </a>
            
          </div>
        </div>
      

      
      
    </footer>
  </div>
  
  
  
  </article>



    <div class="post-spread">
      
    </div>
  </div>


          </div>
          


          

  
    <div class="comments" id="comments">
      <div id="disqus_thread">
        <noscript>
          Please enable JavaScript to view the
          <a href="https://disqus.com/?ref_noscript">comments powered by Disqus.</a>
        </noscript>
      </div>
    </div>

  



        </div>
        
          
  
  <div class="sidebar-toggle">
    <div class="sidebar-toggle-line-wrap">
      <span class="sidebar-toggle-line sidebar-toggle-line-first"></span>
      <span class="sidebar-toggle-line sidebar-toggle-line-middle"></span>
      <span class="sidebar-toggle-line sidebar-toggle-line-last"></span>
    </div>
  </div>

  <aside id="sidebar" class="sidebar">
    
    <div class="sidebar-inner">

      

      
        <ul class="sidebar-nav motion-element">
          <li class="sidebar-nav-toc sidebar-nav-active" data-target="post-toc-wrap">
            文章目录
          </li>
          <li class="sidebar-nav-overview" data-target="site-overview-wrap">
            站点概览
          </li>
        </ul>
      

      <section class="site-overview-wrap sidebar-panel">
        <div class="site-overview">
          <div class="site-author motion-element" itemprop="author" itemscope itemtype="http://schema.org/Person">
            
              <img class="site-author-image" itemprop="image" src="https://avatars3.githubusercontent.com/u/5567916" alt="Gavin Zhang">
            
              <p class="site-author-name" itemprop="name">Gavin Zhang</p>
              <p class="site-description motion-element" itemprop="description"></p>
          </div>

          <nav class="site-state motion-element">

            
              <div class="site-state-item site-state-posts">
              
                <a href="/archives/">
              
                  <span class="site-state-item-count">129</span>
                  <span class="site-state-item-name">日志</span>
                </a>
              </div>
            

            
              
              
              <div class="site-state-item site-state-categories">
                <a href="/categories/index.html">
                  <span class="site-state-item-count">7</span>
                  <span class="site-state-item-name">分类</span>
                </a>
              </div>
            

            
              
              
              <div class="site-state-item site-state-tags">
                <a href="/tags/index.html">
                  <span class="site-state-item-count">158</span>
                  <span class="site-state-item-name">标签</span>
                </a>
              </div>
            

          </nav>

          
            <div class="feed-link motion-element">
              <a href="/atom.xml" rel="alternate">
                <i class="fa fa-rss"></i>
                RSS
              </a>
            </div>
          

          
            <div class="links-of-author motion-element">
                
                  <span class="links-of-author-item">
                    <a href="https://github.com/jiangmitiao" target="_blank" title="GitHub">
                      
                        <i class="fa fa-fw fa-github"></i>GitHub</a>
                  </span>
                
                  <span class="links-of-author-item">
                    <a href="mailto:me at gavinzh.com" target="_blank" title="E-Mail">
                      
                        <i class="fa fa-fw fa-envelope"></i>E-Mail</a>
                  </span>
                
            </div>
          

          
          

          
          

          

        </div>
      </section>

      
      <!--noindex-->
        <section class="post-toc-wrap motion-element sidebar-panel sidebar-panel-active">
          <div class="post-toc">

            
              
            

            
              <div class="post-toc-content"><ol class="nav"><li class="nav-item nav-level-2"><a class="nav-link" href="#0-关键字含义"><span class="nav-number">1.</span> <span class="nav-text">0 关键字含义</span></a></li><li class="nav-item nav-level-2"><a class="nav-link" href="#0-关系代数基本概念"><span class="nav-number">2.</span> <span class="nav-text">0 关系代数基本概念</span></a></li><li class="nav-item nav-level-2"><a class="nav-link" href="#4-查询执行"><span class="nav-number">3.</span> <span class="nav-text">4 查询执行</span></a><ol class="nav-child"><li class="nav-item nav-level-3"><a class="nav-link" href="#4-0-查询编译预览"><span class="nav-number">3.1.</span> <span class="nav-text">4.0 查询编译预览</span></a></li><li class="nav-item nav-level-3"><a class="nav-link" href="#4-1-物理查询计划操作符介绍"><span class="nav-number">3.2.</span> <span class="nav-text">4.1 物理查询计划操作符介绍</span></a><ol class="nav-child"><li class="nav-item nav-level-4"><a class="nav-link" href="#4-1-1-扫描表"><span class="nav-number">3.2.1.</span> <span class="nav-text">4.1.1 扫描表</span></a></li><li class="nav-item nav-level-4"><a class="nav-link" href="#4-1-2-扫描表时的排序"><span class="nav-number">3.2.2.</span> <span class="nav-text">4.1.2 扫描表时的排序</span></a></li><li class="nav-item nav-level-4"><a class="nav-link" href="#4-1-3-物理操作符计算模型"><span class="nav-number">3.2.3.</span> <span class="nav-text">4.1.3 物理操作符计算模型</span></a></li><li class="nav-item nav-level-4"><a class="nav-link" href="#4-1-4-衡量代价的参数"><span class="nav-number">3.2.4.</span> <span class="nav-text">4.1.4 衡量代价的参数</span></a></li><li class="nav-item nav-level-4"><a class="nav-link" href="#4-1-5-扫描操作符的IO代价"><span class="nav-number">3.2.5.</span> <span class="nav-text">4.1.5 扫描操作符的IO代价</span></a></li><li class="nav-item nav-level-4"><a class="nav-link" href="#4-1-6-实现物理操作符的迭代器"><span class="nav-number">3.2.6.</span> <span class="nav-text">4.1.6 实现物理操作符的迭代器</span></a></li></ol></li><li class="nav-item nav-level-3"><a class="nav-link" href="#4-2-一趟算法"><span class="nav-number">3.3.</span> <span class="nav-text">4.2 一趟算法</span></a><ol class="nav-child"><li class="nav-item nav-level-4"><a class="nav-link" href="#4-2-1-一次单个元组的一趟算法"><span class="nav-number">3.3.1.</span> <span class="nav-text">4.2.1 一次单个元组的一趟算法</span></a></li><li class="nav-item nav-level-4"><a class="nav-link" href="#4-2-2-整个关系的一元操作的一趟算法"><span class="nav-number">3.3.2.</span> <span class="nav-text">4.2.2 整个关系的一元操作的一趟算法</span></a></li><li class="nav-item nav-level-4"><a class="nav-link" href="#4-2-3-二元操作的一趟算法"><span class="nav-number">3.3.3.</span> <span class="nav-text">4.2.3 二元操作的一趟算法</span></a></li></ol></li><li class="nav-item nav-level-3"><a class="nav-link" href="#4-3-嵌套循环连接"><span class="nav-number">3.4.</span> <span class="nav-text">4.3 嵌套循环连接</span></a></li><li class="nav-item nav-level-3"><a class="nav-link" href="#4-4-基于排序的两趟算法"><span class="nav-number">3.5.</span> <span class="nav-text">4.4 基于排序的两趟算法</span></a><ol class="nav-child"><li class="nav-item nav-level-4"><a class="nav-link" href="#4-4-1-两阶段多路归并排序"><span class="nav-number">3.5.1.</span> <span class="nav-text">4.4.1 两阶段多路归并排序</span></a></li><li class="nav-item nav-level-4"><a class="nav-link" href="#4-4-2-利用排序去重"><span class="nav-number">3.5.2.</span> <span class="nav-text">4.4.2 利用排序去重</span></a></li><li class="nav-item nav-level-4"><a class="nav-link" href="#4-4-3-利用排序进行分组和聚集"><span class="nav-number">3.5.3.</span> <span class="nav-text">4.4.3 利用排序进行分组和聚集</span></a></li><li class="nav-item nav-level-4"><a class="nav-link" href="#4-4-4-基于排序的并算法"><span class="nav-number">3.5.4.</span> <span class="nav-text">4.4.4 基于排序的并算法</span></a></li><li class="nav-item nav-level-4"><a class="nav-link" href="#4-4-5-基于排序的交和差算法"><span class="nav-number">3.5.5.</span> <span class="nav-text">4.4.5 基于排序的交和差算法</span></a></li><li class="nav-item nav-level-4"><a class="nav-link" href="#4-4-6-基于排序的一个简单连接算法"><span class="nav-number">3.5.6.</span> <span class="nav-text">4.4.6 基于排序的一个简单连接算法</span></a></li><li class="nav-item nav-level-4"><a class="nav-link" href="#4-4-8-一种更有效的基于排序的连接"><span class="nav-number">3.5.7.</span> <span class="nav-text">4.4.8 一种更有效的基于排序的连接</span></a></li></ol></li><li class="nav-item nav-level-3"><a class="nav-link" href="#4-5-基于散列的两趟算法"><span class="nav-number">3.6.</span> <span class="nav-text">4.5 基于散列的两趟算法</span></a></li><li class="nav-item nav-level-3"><a class="nav-link" href="#4-6-基于索引的算法"><span class="nav-number">3.7.</span> <span class="nav-text">4.6 基于索引的算法</span></a></li><li class="nav-item nav-level-3"><a class="nav-link" href="#4-7-缓冲区管理"><span class="nav-number">3.8.</span> <span class="nav-text">4.7 缓冲区管理</span></a></li><li class="nav-item nav-level-3"><a class="nav-link" href="#4-8-使用超过两趟的算法"><span class="nav-number">3.9.</span> <span class="nav-text">4.8 使用超过两趟的算法</span></a></li></ol></li><li class="nav-item nav-level-2"><a class="nav-link" href="#5-查询编译器"><span class="nav-number">4.</span> <span class="nav-text">5 查询编译器</span></a><ol class="nav-child"><li class="nav-item nav-level-3"><a class="nav-link" href="#5-1-语法分析和预处理"><span class="nav-number">4.1.</span> <span class="nav-text">5.1 语法分析和预处理</span></a><ol class="nav-child"><li class="nav-item nav-level-4"><a class="nav-link" href="#5-1-1-语法分析和语法分析树"><span class="nav-number">4.1.1.</span> <span class="nav-text">5.1.1 语法分析和语法分析树</span></a></li><li class="nav-item nav-level-4"><a class="nav-link" href="#5-1-2-SQL的简单子集语法"><span class="nav-number">4.1.2.</span> <span class="nav-text">5.1.2 SQL的简单子集语法</span></a></li><li class="nav-item nav-level-4"><a class="nav-link" href="#5-1-3-预处理器"><span class="nav-number">4.1.3.</span> <span class="nav-text">5.1.3 预处理器</span></a></li></ol></li><li class="nav-item nav-level-3"><a class="nav-link" href="#5-2-用于改进查询计划的代数定律"><span class="nav-number">4.2.</span> <span class="nav-text">5.2 用于改进查询计划的代数定律</span></a><ol class="nav-child"><li class="nav-item nav-level-4"><a class="nav-link" href="#5-2-1-交换律和结合律"><span class="nav-number">4.2.1.</span> <span class="nav-text">5.2.1 交换律和结合律</span></a></li><li class="nav-item nav-level-4"><a class="nav-link" href="#5-2-2-涉及选择的定律"><span class="nav-number">4.2.2.</span> <span class="nav-text">5.2.2 涉及选择的定律</span></a></li><li class="nav-item nav-level-4"><a class="nav-link" href="#5-2-3-下推选择"><span class="nav-number">4.2.3.</span> <span class="nav-text">5.2.3 下推选择</span></a></li><li class="nav-item nav-level-4"><a class="nav-link" href="#5-2-4-涉及投影的定律"><span class="nav-number">4.2.4.</span> <span class="nav-text">5.2.4 涉及投影的定律</span></a></li><li class="nav-item nav-level-4"><a class="nav-link" href="#5-2-5-有关连接和积的定律"><span class="nav-number">4.2.5.</span> <span class="nav-text">5.2.5 有关连接和积的定律</span></a></li><li class="nav-item nav-level-4"><a class="nav-link" href="#5-2-6-有关消除重复的定律"><span class="nav-number">4.2.6.</span> <span class="nav-text">5.2.6 有关消除重复的定律</span></a></li><li class="nav-item nav-level-4"><a class="nav-link" href="#5-2-7-涉及分组和聚集的定律"><span class="nav-number">4.2.7.</span> <span class="nav-text">5.2.7 涉及分组和聚集的定律</span></a></li></ol></li><li class="nav-item nav-level-3"><a class="nav-link" href="#5-3-从语法分析树到逻辑查询计划"><span class="nav-number">4.3.</span> <span class="nav-text">5.3 从语法分析树到逻辑查询计划</span></a><ol class="nav-child"><li class="nav-item nav-level-4"><a class="nav-link" href="#5-3-1-转换成关系代数"><span class="nav-number">4.3.1.</span> <span class="nav-text">5.3.1 转换成关系代数</span></a></li><li class="nav-item nav-level-4"><a class="nav-link" href="#5-3-2-从条件中去除子查询"><span class="nav-number">4.3.2.</span> <span class="nav-text">5.3.2 从条件中去除子查询</span></a></li><li class="nav-item nav-level-4"><a class="nav-link" href="#5-3-3-逻辑查询计划的改进"><span class="nav-number">4.3.3.</span> <span class="nav-text">5.3.3 逻辑查询计划的改进</span></a></li></ol></li><li class="nav-item nav-level-3"><a class="nav-link" href="#5-4-运算代价的估计"><span class="nav-number">4.4.</span> <span class="nav-text">5.4 运算代价的估计</span></a><ol class="nav-child"><li class="nav-item nav-level-4"><a class="nav-link" href="#5-4-3-选择运算大小的估计"><span class="nav-number">4.4.1.</span> <span class="nav-text">5.4.3 选择运算大小的估计</span></a></li><li class="nav-item nav-level-4"><a class="nav-link" href="#5-4-4-连接运算大小的估计"><span class="nav-number">4.4.2.</span> <span class="nav-text">5.4.4 连接运算大小的估计</span></a></li><li class="nav-item nav-level-4"><a class="nav-link" href="#5-4-7-其他运算大小的估计"><span class="nav-number">4.4.3.</span> <span class="nav-text">5.4.7 其他运算大小的估计</span></a></li></ol></li><li class="nav-item nav-level-3"><a class="nav-link" href="#5-7-物理查询计划选择的完成"><span class="nav-number">4.5.</span> <span class="nav-text">5.7 物理查询计划选择的完成</span></a></li></ol></li></ol></div>
            

          </div>
        </section>
      <!--/noindex-->
      

      
        <div class="back-to-top">
          <i class="fa fa-arrow-up"></i>
          
            <span id="scrollpercent"><span>0</span>%</span>
          
        </div>
      

    </div>
  </aside>


        
      </div>
    </main>

    <footer id="footer" class="footer">
      <div class="footer-inner">
        <div class="copyright">&copy; 2013 &mdash; <span itemprop="copyrightYear">2020</span>
  <span class="with-love">
    <i class="fa fa-heart"></i>
  </span>
  <span class="author" itemprop="copyrightHolder">Gavin Zhang</span>

  

  
</div>





<div>
	<a href="http://www.beian.miit.gov.cn/" target="_blank">陕ICP备17010002号-1</a>
</div>





        




  <script type="text/javascript">
    (function() {
      var hm = document.createElement("script");
      hm.src = "//tajs.qq.com/stats?sId=61868582";
      var s = document.getElementsByTagName("script")[0];
      s.parentNode.insertBefore(hm, s);
    })();
  </script>




  <div style="display: none;">
    <script src="//s95.cnzz.com/z_stat.php?id=1261805793&web_id=1261805793" language="JavaScript"></script>
  </div>



        
      </div>
    </footer>

    

    

  </div>

  

<script type="text/javascript">
  if (Object.prototype.toString.call(window.Promise) !== '[object Function]') {
    window.Promise = null;
  }
</script>





  



  






  













  
  
    <script type="text/javascript" src="https://cdn.staticfile.org/jquery/3.4.1/jquery.min.js"></script>
  

  
  
    <script type="text/javascript" src="https://cdn.staticfile.org/fastclick/1.0.6/fastclick.js"></script>
  

  
  
    <script type="text/javascript" src="https://cdn.staticfile.org/jquery.lazyload/1.9.1/jquery.lazyload.min.js"></script>
  

  
  
    <script type="text/javascript" src="https://cdn.staticfile.org/velocity/2.0.5/velocity.min.js"></script>
  

  
  
    <script type="text/javascript" src="https://cdn.staticfile.org/velocity/2.0.5/velocity.min.js"></script>
  

  
  
    <script type="text/javascript" src="https://cdn.staticfile.org/fancybox/3.5.7/jquery.fancybox.min.js"></script>
  


  


  <script type="text/javascript" src="/js/src/utils.js?v=6.0.0"></script>

  <script type="text/javascript" src="/js/src/motion.js?v=6.0.0"></script>



  
  


  <script type="text/javascript" src="/js/src/affix.js?v=6.0.0"></script>

  <script type="text/javascript" src="/js/src/schemes/pisces.js?v=6.0.0"></script>



  
  <script type="text/javascript" src="/js/src/scrollspy.js?v=6.0.0"></script>
<script type="text/javascript" src="/js/src/post-details.js?v=6.0.0"></script>



  


  <script type="text/javascript" src="/js/src/bootstrap.js?v=6.0.0"></script>



  


  

    
      <script id="dsq-count-scr" src="https://zhang-hengs-website-blog.disqus.com/count.js" async></script>
    

    
      <script type="text/javascript">
        var disqus_config = function () {
          this.page.url = 'http://blog.gavinzh.com/2019/06/29/database-system-implementation-lean/';
          this.page.identifier = '2019/06/29/database-system-implementation-lean/';
          this.page.title = '《数据库系统实现》学习笔记';
        };
        var d = document, s = d.createElement('script');
        s.src = 'https://zhang-hengs-website-blog.disqus.com/embed.js';
        s.setAttribute('data-timestamp', '' + +new Date());
        (d.head || d.body).appendChild(s);
      </script>
    

  




	





  














  

  <script type="text/javascript">
    // Popup Window;
    var isfetched = false;
    var isXml = true;
    // Search DB path;
    var search_path = "search.xml";
    if (search_path.length === 0) {
      search_path = "search.xml";
    } else if (/json$/i.test(search_path)) {
      isXml = false;
    }
    var path = "/" + search_path;
    // monitor main search box;

    var onPopupClose = function (e) {
      $('.popup').hide();
      $('#local-search-input').val('');
      $('.search-result-list').remove();
      $('#no-result').remove();
      $(".local-search-pop-overlay").remove();
      $('body').css('overflow', '');
    }

    function proceedsearch() {
      $("body")
        .append('<div class="search-popup-overlay local-search-pop-overlay"></div>')
        .css('overflow', 'hidden');
      $('.search-popup-overlay').click(onPopupClose);
      $('.popup').toggle();
      var $localSearchInput = $('#local-search-input');
      $localSearchInput.attr("autocapitalize", "none");
      $localSearchInput.attr("autocorrect", "off");
      $localSearchInput.focus();
    }

    // search function;
    var searchFunc = function(path, search_id, content_id) {
      'use strict';

      // start loading animation
      $("body")
        .append('<div class="search-popup-overlay local-search-pop-overlay">' +
          '<div id="search-loading-icon">' +
          '<i class="fa fa-spinner fa-pulse fa-5x fa-fw"></i>' +
          '</div>' +
          '</div>')
        .css('overflow', 'hidden');
      $("#search-loading-icon").css('margin', '20% auto 0 auto').css('text-align', 'center');

      $.ajax({
        url: path,
        dataType: isXml ? "xml" : "json",
        async: true,
        success: function(res) {
          // get the contents from search data
          isfetched = true;
          $('.popup').detach().appendTo('.header-inner');
          var datas = isXml ? $("entry", res).map(function() {
            return {
              title: $("title", this).text(),
              content: $("content",this).text(),
              url: $("url" , this).text()
            };
          }).get() : res;
          var input = document.getElementById(search_id);
          var resultContent = document.getElementById(content_id);
          var inputEventFunction = function() {
            var searchText = input.value.trim().toLowerCase();
            var keywords = searchText.split(/[\s\-]+/);
            if (keywords.length > 1) {
              keywords.push(searchText);
            }
            var resultItems = [];
            if (searchText.length > 0) {
              // perform local searching
              datas.forEach(function(data) {
                var isMatch = false;
                var hitCount = 0;
                var searchTextCount = 0;
                var title = data.title.trim();
                var titleInLowerCase = title.toLowerCase();
                var content = data.content.trim().replace(/<[^>]+>/g,"");
                var contentInLowerCase = content.toLowerCase();
                var articleUrl = decodeURIComponent(data.url);
                var indexOfTitle = [];
                var indexOfContent = [];
                // only match articles with not empty titles
                if(title != '') {
                  keywords.forEach(function(keyword) {
                    function getIndexByWord(word, text, caseSensitive) {
                      var wordLen = word.length;
                      if (wordLen === 0) {
                        return [];
                      }
                      var startPosition = 0, position = [], index = [];
                      if (!caseSensitive) {
                        text = text.toLowerCase();
                        word = word.toLowerCase();
                      }
                      while ((position = text.indexOf(word, startPosition)) > -1) {
                        index.push({position: position, word: word});
                        startPosition = position + wordLen;
                      }
                      return index;
                    }

                    indexOfTitle = indexOfTitle.concat(getIndexByWord(keyword, titleInLowerCase, false));
                    indexOfContent = indexOfContent.concat(getIndexByWord(keyword, contentInLowerCase, false));
                  });
                  if (indexOfTitle.length > 0 || indexOfContent.length > 0) {
                    isMatch = true;
                    hitCount = indexOfTitle.length + indexOfContent.length;
                  }
                }

                // show search results

                if (isMatch) {
                  // sort index by position of keyword

                  [indexOfTitle, indexOfContent].forEach(function (index) {
                    index.sort(function (itemLeft, itemRight) {
                      if (itemRight.position !== itemLeft.position) {
                        return itemRight.position - itemLeft.position;
                      } else {
                        return itemLeft.word.length - itemRight.word.length;
                      }
                    });
                  });

                  // merge hits into slices

                  function mergeIntoSlice(text, start, end, index) {
                    var item = index[index.length - 1];
                    var position = item.position;
                    var word = item.word;
                    var hits = [];
                    var searchTextCountInSlice = 0;
                    while (position + word.length <= end && index.length != 0) {
                      if (word === searchText) {
                        searchTextCountInSlice++;
                      }
                      hits.push({position: position, length: word.length});
                      var wordEnd = position + word.length;

                      // move to next position of hit

                      index.pop();
                      while (index.length != 0) {
                        item = index[index.length - 1];
                        position = item.position;
                        word = item.word;
                        if (wordEnd > position) {
                          index.pop();
                        } else {
                          break;
                        }
                      }
                    }
                    searchTextCount += searchTextCountInSlice;
                    return {
                      hits: hits,
                      start: start,
                      end: end,
                      searchTextCount: searchTextCountInSlice
                    };
                  }

                  var slicesOfTitle = [];
                  if (indexOfTitle.length != 0) {
                    slicesOfTitle.push(mergeIntoSlice(title, 0, title.length, indexOfTitle));
                  }

                  var slicesOfContent = [];
                  while (indexOfContent.length != 0) {
                    var item = indexOfContent[indexOfContent.length - 1];
                    var position = item.position;
                    var word = item.word;
                    // cut out 100 characters
                    var start = position - 20;
                    var end = position + 80;
                    if(start < 0){
                      start = 0;
                    }
                    if (end < position + word.length) {
                      end = position + word.length;
                    }
                    if(end > content.length){
                      end = content.length;
                    }
                    slicesOfContent.push(mergeIntoSlice(content, start, end, indexOfContent));
                  }

                  // sort slices in content by search text's count and hits' count

                  slicesOfContent.sort(function (sliceLeft, sliceRight) {
                    if (sliceLeft.searchTextCount !== sliceRight.searchTextCount) {
                      return sliceRight.searchTextCount - sliceLeft.searchTextCount;
                    } else if (sliceLeft.hits.length !== sliceRight.hits.length) {
                      return sliceRight.hits.length - sliceLeft.hits.length;
                    } else {
                      return sliceLeft.start - sliceRight.start;
                    }
                  });

                  // select top N slices in content

                  var upperBound = parseInt('1');
                  if (upperBound >= 0) {
                    slicesOfContent = slicesOfContent.slice(0, upperBound);
                  }

                  // highlight title and content

                  function highlightKeyword(text, slice) {
                    var result = '';
                    var prevEnd = slice.start;
                    slice.hits.forEach(function (hit) {
                      result += text.substring(prevEnd, hit.position);
                      var end = hit.position + hit.length;
                      result += '<b class="search-keyword">' + text.substring(hit.position, end) + '</b>';
                      prevEnd = end;
                    });
                    result += text.substring(prevEnd, slice.end);
                    return result;
                  }

                  var resultItem = '';

                  if (slicesOfTitle.length != 0) {
                    resultItem += "<li><a href='" + articleUrl + "' class='search-result-title'>" + highlightKeyword(title, slicesOfTitle[0]) + "</a>";
                  } else {
                    resultItem += "<li><a href='" + articleUrl + "' class='search-result-title'>" + title + "</a>";
                  }

                  slicesOfContent.forEach(function (slice) {
                    resultItem += "<a href='" + articleUrl + "'>" +
                      "<p class=\"search-result\">" + highlightKeyword(content, slice) +
                      "...</p>" + "</a>";
                  });

                  resultItem += "</li>";
                  resultItems.push({
                    item: resultItem,
                    searchTextCount: searchTextCount,
                    hitCount: hitCount,
                    id: resultItems.length
                  });
                }
              })
            };
            if (keywords.length === 1 && keywords[0] === "") {
              resultContent.innerHTML = '<div id="no-result"><i class="fa fa-search fa-5x" /></div>'
            } else if (resultItems.length === 0) {
              resultContent.innerHTML = '<div id="no-result"><i class="fa fa-frown-o fa-5x" /></div>'
            } else {
              resultItems.sort(function (resultLeft, resultRight) {
                if (resultLeft.searchTextCount !== resultRight.searchTextCount) {
                  return resultRight.searchTextCount - resultLeft.searchTextCount;
                } else if (resultLeft.hitCount !== resultRight.hitCount) {
                  return resultRight.hitCount - resultLeft.hitCount;
                } else {
                  return resultRight.id - resultLeft.id;
                }
              });
              var searchResultList = '<ul class=\"search-result-list\">';
              resultItems.forEach(function (result) {
                searchResultList += result.item;
              })
              searchResultList += "</ul>";
              resultContent.innerHTML = searchResultList;
            }
          }

          if ('auto' === 'auto') {
            input.addEventListener('input', inputEventFunction);
          } else {
            $('.search-icon').click(inputEventFunction);
            input.addEventListener('keypress', function (event) {
              if (event.keyCode === 13) {
                inputEventFunction();
              }
            });
          }

          // remove loading animation
          $(".local-search-pop-overlay").remove();
          $('body').css('overflow', '');

          proceedsearch();
        }
      });
    }

    // handle and trigger popup window;
    $('.popup-trigger').click(function(e) {
      e.stopPropagation();
      if (isfetched === false) {
        searchFunc(path, 'local-search-input', 'local-search-result');
      } else {
        proceedsearch();
      };
    });

    $('.popup-btn-close').click(onPopupClose);
    $('.popup').click(function(e){
      e.stopPropagation();
    });
    $(document).on('keyup', function (event) {
      var shouldDismissSearchPopup = event.which === 27 &&
        $('.search-popup').is(':visible');
      if (shouldDismissSearchPopup) {
        onPopupClose();
      }
    });
  </script>





  

  
  <script src="https://cdn1.lncld.net/static/js/av-core-mini-0.6.4.js"></script>
  <script>AV.initialize("EhAMmIXTRGtethTcgYwA9afH-gzGzoHsz", "jzP1TaBhMleAUgPLXyB0h8oQ");</script>
  <script>
    function showTime(Counter) {
      var query = new AV.Query(Counter);
      var entries = [];
      var $visitors = $(".leancloud_visitors");

      $visitors.each(function () {
        entries.push( $(this).attr("id").trim() );
      });

      query.containedIn('url', entries);
      query.find()
        .done(function (results) {
          var COUNT_CONTAINER_REF = '.leancloud-visitors-count';

          if (results.length === 0) {
            $visitors.find(COUNT_CONTAINER_REF).text(0);
            return;
          }

          for (var i = 0; i < results.length; i++) {
            var item = results[i];
            var url = item.get('url');
            var time = item.get('time');
            var element = document.getElementById(url);

            $(element).find(COUNT_CONTAINER_REF).text(time);
          }
          for(var i = 0; i < entries.length; i++) {
            var url = entries[i];
            var element = document.getElementById(url);
            var countSpan = $(element).find(COUNT_CONTAINER_REF);
            if( countSpan.text() == '') {
              countSpan.text(0);
            }
          }
        })
        .fail(function (object, error) {
          console.log("Error: " + error.code + " " + error.message);
        });
    }

    function addCount(Counter) {
      var $visitors = $(".leancloud_visitors");
      var url = $visitors.attr('id').trim();
      var title = $visitors.attr('data-flag-title').trim();
      var query = new AV.Query(Counter);

      query.equalTo("url", url);
      query.find({
        success: function(results) {
          if (results.length > 0) {
            var counter = results[0];
            counter.fetchWhenSave(true);
            counter.increment("time");
            counter.save(null, {
              success: function(counter) {
                var $element = $(document.getElementById(url));
                $element.find('.leancloud-visitors-count').text(counter.get('time'));
              },
              error: function(counter, error) {
                console.log('Failed to save Visitor num, with error message: ' + error.message);
              }
            });
          } else {
            var newcounter = new Counter();
            /* Set ACL */
            var acl = new AV.ACL();
            acl.setPublicReadAccess(true);
            acl.setPublicWriteAccess(true);
            newcounter.setACL(acl);
            /* End Set ACL */
            newcounter.set("title", title);
            newcounter.set("url", url);
            newcounter.set("time", 1);
            newcounter.save(null, {
              success: function(newcounter) {
                var $element = $(document.getElementById(url));
                $element.find('.leancloud-visitors-count').text(newcounter.get('time'));
              },
              error: function(newcounter, error) {
                console.log('Failed to create');
              }
            });
          }
        },
        error: function(error) {
          console.log('Error:' + error.code + " " + error.message);
        }
      });
    }

    $(function() {
      var Counter = AV.Object.extend("Counter");
      if ($('.leancloud_visitors').length == 1) {
        addCount(Counter);
      } else if ($('.post-title-link').length > 1) {
        showTime(Counter);
      }
    });
  </script>



  

  
<script>
(function(){
    var bp = document.createElement('script');
    var curProtocol = window.location.protocol.split(':')[0];
    if (curProtocol === 'https') {
        bp.src = 'https://zz.bdstatic.com/linksubmit/push.js';        
    }
    else {
        bp.src = 'http://push.zhanzhang.baidu.com/push.js';
    }
    var s = document.getElementsByTagName("script")[0];
    s.parentNode.insertBefore(bp, s);
})();
</script>


  
  

  
  
    <script type="text/x-mathjax-config">
      MathJax.Hub.Config({
        tex2jax: {
          inlineMath: [ ['$','$'], ["\\(","\\)"]  ],
          processEscapes: true,
          skipTags: ['script', 'noscript', 'style', 'textarea', 'pre', 'code']
        }
      });
    </script>

    <script type="text/x-mathjax-config">
      MathJax.Hub.Queue(function() {
        var all = MathJax.Hub.getAllJax(), i;
        for (i=0; i < all.length; i += 1) {
          all[i].SourceElement().parentNode.className += ' has-jax';
        }
      });
    </script>
    <script type="text/javascript" src="//cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-MML-AM_CHTML"></script>
  


  
  <script type="text/javascript" src="/js/src/js.cookie.js?v=6.0.0"></script>
  <script type="text/javascript" src="/js/src/scroll-cookie.js?v=6.0.0"></script>


  

</body>
</html>
